61. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
62. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
63. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
64. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
65. Logic and automata
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
66. Logic and discrete mathematics :
پدیدآورنده : Willem Conradie, Valentin Goranko.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
67. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: (طهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
68. Logic for applications
پدیدآورنده : / Anil Nerode, Richard A. Shore
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
69. Logic for applications /
پدیدآورنده : Anil Nerode, Richard A. Shore
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
70. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
71. Logica: Metodo Breve
پدیدآورنده : by Daniele Mundici.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
72. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
73. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
74. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
75. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
76. Mathematical logic for computer science
پدیدآورنده : Lu, Zhong-Wan
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
77. Mathematics for computer students
پدیدآورنده : Witton, Rex
کتابخانه: (طهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W57
1992
78. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: (طهران)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
79. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
80. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
